Behavioural models for distributed Fractal components
نویسندگان
چکیده
منابع مشابه
Behavioural models for distributed Fractal components
This paper presents a formal behavioural specification framework together with its applications in different contexts for specifying and verifying the correct behaviour of distributed Fractal components. Our framework allows us to build behavioural models for applications ranging from sequential Fractal components, to distributed objects, and finally distributed components. Our models are able ...
متن کاملBehavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers to specify the architecture, the deployment, the life-cycle of the system with well-defined formalisms, and to gain productivity by reusing existing components. But then one wants to make sure that the application buil...
متن کاملBehavioural Verification of Distributed Components
Component models provide a structured programming paradigm, and ensure a very good re-usability of programs. Indeed in component applications, dependencies are defined together with provided functionalities by the means of provided/required ports; this improves the program re-usability. Some component models and their implementations additionally keep a trace at runtime of the component structu...
متن کاملGCM: a grid extension to Fractal for autonomous distributed components
This article presents an extension of the Fractal component model targeted at programming applications to be run on computing grids: the Grid Component Model (GCM). First, to address the problem of deployment of components on the Grid, deployment strategies have been de ned. Then, as Grid applications often result from the composition of a lot of parallel (sometimes identical) components, compo...
متن کاملUnifying Architectural and Behavioural Specifications of Distributed Components
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new techniques for its specification that have not been addressed before. We propose to focus the specification on its data-flow; this allows to reason about inter-component synchronisations produced by a data-driven synch...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: annals of telecommunications - annales des télécommunications
سال: 2009
ISSN: 0003-4347,1958-9395
DOI: 10.1007/s12243-008-0069-7